proof of theorem